v3.6.3

Compare Source

v3.6.2

Compare Source

Highlights of the release

• Stabilise SIP-47 (Adding Clause Interleaving to method definitions) #​20861
• Stabilise SIP-64 (New syntax of givens and context bounds) #​21668
• Context Bounds for Polymorphic Functions #​21643
• Switch mapping of context bounds to using clauses in 3.6 #​21257
• Enable betterMatchTypeExtractors in >= 3.6 #​21198
• Require named arguments for java defined annotations #​21329
• Refine the bounds of the Tuple.Filter type lambda predicate .. #​21286
• Add an infix shorthand for Tuple.{Append, Concat} #​21288
• Add .msi artifacts to release assets #​21834
• Implement SIP-62 as experimental - For comprehension improvements #​20522
• Implement SIP-57 as experimental - add runtimeChecked method and annotation #​20987

Other changes and fixes

Annotations

• Tighten java annot value parsing #​21650

Erasure

• Fixes IllegalAccessError with Java package protected class #​21362

Experimental: Capture Checking

• Fix setup of CapSet arguments. #​21309
• Check all top-level covariant capture sets in checkNotUniversal #​21428
• Charge also dcs of local reaches to capture set of enclosing method #​21443
• No need to unbox if expected type is LhsProto #​21508
• Treat more closure parameter types as inferred #​21583
• Existential Capabilities #​20566
• Fixes for cleanup retains scheme #​21350
• Improve Contains handling #​21361
• Expand Capability types T to T^ only if no explicit capture set is given #​21375
• Tighten closure extractor in TreeInfo #​21621

Experimental: Global Initialization

• Analyze object when selecting from package #​21511
• Fix bug in init checker while compiling scodec-bits community project #​21574

Experimental: Named Tuples

• Finalize named tuples #​21710
• Move NamedTuple.head to NamedTupleDecomposition #​21308
• Move NonEmptyTuple members into Tuple #​21291
• Migration rewrites for infix arguments interpreted as named tuples #​21949
• Make named tuples a standard feature #​21680
• Make named tuples an experimental feature again #​22045

Experimental: Explicit Nulls

• Fix #​21392: Adjust canComparePredefined(Nothing, T) in explicit nulls #​21504
• Add tracking of NotNullInfo for Match, Case, Try trees (fix #​21380) #​21389

Experimentals

• [experimental feature] Support HOAS pattern with type variables for quote pattern matching #​18271

Exports

• Re-use attachment in exportForwarders to handle ambiguous overloads #​21518
• Allow export statements in AnyVal #​21653

Extension Methods

• Make right assoc ext method fwd refs error #​21641

Inline

• Fix: throw an error before assigning ErrorType when expanding constValue #​21364

Implicits

• Fix prioritization of givens over implicits #​21226

JVM Backend

• Backend computes line number from source of position #​21763

Linting

• CheckUnused checks type param annotations #​20549

Match Types

• Fix #​21295: Restrict provablyDisjoint with Nothings in invariant type params. #​21891
• Do not propagate TypeErrors of ops from TypeComparer#tryAlso #​21070
• Fix #​21402: Always allow type member extraction for stable scrutinees in match types. #​21700
• Add a 3.6-migration warning for MT lubbing #​21336
• Always interpret underscores inside patterns as type bounds #​21718

Opaque Types

• Capture the kse3 issue in test cases and close it #​21260

Parser

• Guard against recursive lower bounds in constraints #​21587
• Handle old given syntax where identifier and type are seperated by new line #​21957
• Fix: Allow as as an infix type in non context bound types #​21849
• Revised given syntax #​21208
• Make context bounds for poly functions a standard feature #​22019

Pattern Matching

• Optimise SpaceEngine.signature #​21791
• Fix a bundle of patmat issues #​21000

Pickling

• Some fixes for AnnotatedTypes mapping #​19957

Polyfunctions

• Fix: Check if a PolyFunction TypeTree has no ByName parameters #​21671

Presentation Compiler

• Add regression test for issue 18726 #​20318
• Remove artificial CURSOR added to code in the completions #​20899
• Fix autoimports with using directives #​21590

Quotes

• Handle suspension due to macro call in arbitrary phases #​21651
• Have a better error message when healing types #​21711
• Bound TypeRepr by Matchable in Quotes #​21377
• Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType) #​20494

Reflection

• Add the possibility to create a typeSymbol in the Quotes API #​20347
• Fix stale symbols connected to lazy vals in macros #​21559

Reporting

• Add better error reporting for inlined non-immutable paths #​21639
• Only replace new errors by warnings under -migration #​21289
• Warn when named tuples resemble assignments #​21823

REPL

• REPL: JLine 3.27.0 (was 3.25.1) #​21752
• Ignore best effort settings in repl and update docs #​21540

Rewrites

• Remove empty argument lists for classes with only context bounds #​21513
• Fix rewrite logic for old <function> _ syntax #​21715
• Remove the -rewrite option for typechecks methods in Quotes #​21547
• Add migration rewrite for non-named arguments in Java annotations #​21397

Runner

• Update Scala CLI to 1.5.4 (was 1.5.1) & coursier to 2.1.18 (was 2.1.13) #​22021
  • Scala CLI 1.5.2 release notes highlights:
    • --source is now deprecated and scheduled for removal in Scala CLI v1.6.x
    • Initial support for emitting Wasm with a command line option and a directive
  • Scala CLI 1.5.3 release notes
  • Scala CLI 1.5.4 release notes

Scaladoc

• Only trim one newline when preprocessing the content of a markdown code snippet #​21519
• Filter opaque modifier from object documentation #​21640
• Bump Inkuire version to fix it for the new Scala versions #​21611

Standard Library

• Scala 2.13.15 (was .14) #​21648
• Define binary symbolic compiletime ops as infix #​21683

Transform

• Fix treatment of separately compiled @native methods in FirstTransform #​21593
• Three fixes to SAM type handling #​21596
• Always rewrite empty List() to Nil #​21689
• Add support for clauseInterleaving in JVM generic signatures #​21709

Typeclass Derivation

• Nicer error message in case a derived method has an explicit term param #​21332

Typer

• Calm param autotupling for overloads #​21552
• Survive inaccessible types when computing implicit scope #​21589
• Avoid cyclic errors forcing default arg types #​21597
• Allow autotupling if fn's param is a type param #​21741
• Fix extending protected nested java classes #​21857
• Fix incorrect caching with dependent method parameters #​21699

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.5.2..3.6.2 these are:

   128  Martin Odersky
    53  Wojciech Mazur
    44  Dale Wijnand
    35  Hamza REMMAL
    33  Kacper Korban
    31  Eugene Flesselle
    22  Hamza Remmal
    11  Katarzyna Marek
    10  Matt Bovel
     9  noti0na1
     9  rochala
     8  Jamie Thompson
     8  Jan Chyb
     7  Adrien Piquerez
     7  Som Snytt
     7  Sébastien Doeraene
     7  dependabot[bot]
     6  Yichen Xu
     5  EnzeXing
     5  Guillaume Martres
     4  Fengyun Liu
     4  kasiaMarek
     3  Martin Duhem
     3  Oliver Bracevac
     3  Piotr Chabelski
     2  Aleksander Rainko
     2  David Hua
     2  Florian3k
     2  HarrisL2
     2  Joel Wilsson
     2  Jędrzej Rochala
     2  Kenji Yoshida
     1  Eugene Yokota
     1  Kavin Satheeskumar
     1  Lorenzo Gabriele
     1  Michel Charpentier
     1  Ondrej Lhotak
     1  Raphael Jolly
     1  Tomasz Godzik
     1  Yuito Murase
     1  crunchyfrog
     1  philippus

v3.6.1

This is a fast-track release to replace a broken release 3.6.0 that occurred during the Scala 3.6.0-RC1 release. It might contain bugs that would be have been fixed during the Release Candidate bugfixes period. We recommend waiting for the stable Scala 3.6.2 release.

Scala 3.6.0 should never be used to produce libraries. TASTy files produced by this version of the compiler are produced in the experimental mode. These outputs are not compatible with consumers using stable versions of the compiler.

See details in Scala 3.6.0 Post Mortem blogpost

Highlights of the release

• Stabilise SIP-47 (Adding Clause Interleaving to method definitions) #​20861
• Implement SIP-57 - add runtimeChecked method and annotation #​20987
• Implement SIP-62 - For comprehension improvements #​20522
• Implement SIP-64 as non-experimental #​21668
• Make named tuples a standard feature #​21680
• Switch mapping of context bounds to using clauses in 3.6 #​21257
• Require named arguments for java defined annotations #​21329

Other changes and fixes

Annotations

• Tighten java annot value parsing #​21650

Dependencies

• REPL: JLine 3.27.0 (was 3.25.1) #​21752
• Scala 2.13.15 (was .14) #​21648

Erasure

• Fixes IllegalAccessError with Java package protected class #​21362

Experimental: Capture Checking

• Existential Capabilities #​20566
• Fix setup of CapSet arguments. #​21309
• Check all top-level covariant capture sets in checkNotUniversal #​21428
• Charge also dcs of local reaches to capture set of enclosing method #​21443
• No need to unbox if expected type is LhsProto #​21508
• Treat more closure parameter types as inferred #​21583
• Fixes for cleanup retains scheme #​21350
• Improve Contains handling #​21361
• Expand Capability types T to T^ only if no explicit capture set is given #​21375
• Tighten closure extractor in TreeInfo #​21621

Experimental: Strict Equality

• Fix #​21392: Adjust canComparePredefined(Nothing, T) in explicit nulls #​21504
• Add tracking of NotNullInfo for Match, Case, Try trees (fix #​21380) #​21389

Experimental: Modularity

• Revised given syntax #​21208

Experimental: Global Initialization

• Analyze object when selecting from package #​21511
• Fix bug in init checker while compiling scodec-bits community project #​21574

Experimentals

• [experimental feature] Support HOAS pattern with type variables for quote pattern matching #​18271

Exports

• Re-use attachment in exportForwarders to handle ambiguous overloads #​21518
• Allow export statements in AnyVal #​21653

Extension Methods

• Make right assoc ext method fwd refs error #​21641

Inline

• Fix: throw an error before assigning ErrorType when expanding constValue #​21364

Implicits

• Fix prioritization of givens over implicits #​21226

JVM backend

• Backend computes line number from source of position #​21763

Linting

• CheckUnused checks type param annotations #​20549

Library

• Finalize named tuples #​21710

Match Types

• Enable betterMatchTypeExtractors in >= 3.6 #​21198
• Do not propagate TypeErrors of ops from TypeComparer#tryAlso #​21070
• Fix #​21402: Always allow type member extraction for stable scrutinees in match types. #​21700
• Add a 3.6-migration warning for MT lubbing #​21336
• Always interpret underscores inside patterns as type bounds #​21718

Opaque Types

• Capture the kse3 issue in test cases and close it #​21260

Parser

• Guard against recursive lower bounds in constraints #​21587

Pattern Matching

• Fix a bundle of patmat issues #​21000

Pickling

• Some fixes for AnnotatedTypes mapping #​19957

Polyfunctions

• Fix: Check if a PolyFunction TypeTree has no ByName parameters #​21671

Presentation Compiler

• Add regression test for issue 18726 #​20318
• Remove artificial CURSOR added to code in the completions #​20899
• Fix autoimports with using directives #​21590

Quotes

• Handle suspension due to macro call in arbitrary phases #​21651
• Have a better error message when healing types #​21711
• Bound TypeRepr by Matchable in Quotes #​21377
• Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType) #​20494

Reflection

• Add the possibility to create a typeSymbol in the Quotes API #​20347
• Fix stale symbols connected to lazy vals in macros #​21559

Reporting

• Add better error reporting for inlined non-immutable paths #​21639
• Only replace new errors by warnings under -migration #​21289

REPL

• Ignore best effort settings in repl and update docs #​21540

Rewrites

• Remove empty argument lists for classes with only context bounds #​21513
• Fix rewrite logic for old <function> _ syntax #​21715
• Remove the -rewrite option for typechecks methods in Quotes #​21547
• Add migration rewrite for non-named arguments in Java annotations #​21397

Scaladoc

• Only trim one newline when preprocessing the content of a markdown code snippet #​21519
• Filter opaque modifier from object documentation #​21640
• Bump Inkuire version to fix it for the new Scala versions #​21611

Standard Library

• Move NamedTuple.head to NamedTupleDecomposition #​21308
• Define binary symbolic compiletime ops as infix #​21683

Transform

• Fix treatment of separately compiled @​native methods in FirstTransform #​21593
• Three fixes to SAM type handling #​21596
• Always rewrite empty List() to Nil #​21689
• Add support for clauseInterleaving in JVM generic signatures #​21709

Typeclass Derivation

• Nicer error message in case a derived method has an explicit term param #​21332

Typer

• Calm param autotupling for overloads #​21552
• Survive inaccessible types when computing implicit scope #​21589
• Avoid cyclic errors forcing default arg types #​21597
• Fix incorrect caching with dependent method parameters #​21699

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.5.2..3.6.1 these are:

   129  Martin Odersky
    35  Hamza REMMAL
    34  Dale Wijnand
    31  Eugene Flesselle
    31  Hamza Remmal
    30  Wojciech Mazur
    15  Kacper Korban
    12  Jamie Thompson
    11  Jan Chyb
    11  Katarzyna Marek
     9  noti0na1
     9  rochala
     8  Adrien Piquerez
     8  Matt Bovel
     7  Som Snytt
     7  dependabot[bot]
     6  Yichen Xu
     5  EnzeXing
     5  Fengyun Liu
     5  Guillaume Martres
     5  Sébastien Doeraene
     4  Tomasz Godzik
     4  kasiaMarek
     3  Martin Duhem
     3  Oliver Bracevac
     3  Piotr Chabelski
     2  Aleksander Rainko
     2  David Hua
     2  Florian3k
     2  Friendseeker
     2  HarrisL2
     2  Joel Wilsson
     2  Jędrzej Rochala
     2  Kenji Yoshida
     2  Seth Tisue
     1  Eugene Yokota
     1  Georgi Krastev
     1  Kavin Satheeskumar
     1  Lorenzo Gabriele
     1  Michał Pałka
     1  Michel Charpentier
     1  Ondrej Lhotak
     1  Raphael Jolly
     1  Yuito Murase
     1  crunchyfrog
     1  friendseeker
     1  philippus

v3.5.2

Compare Source

Highlights of the release

• Add the -Wall option that enables all warnings (Plan B) #​20577
• Add origin filter to WConf, DeprecationWarning #​21404

Other changes and fixes

Implicits

• Streamline tryNormalize with underlyingMatchType #​20268

Inference

• Fix #​20521: Optimise caching for computing atoms and widened in OrTypes #​21223

JVM Backend

• Update asm to patched 9.7 #​20144

Overloading

• Report only non-overridden unimplemented members #​21337

Parser

• SimplePattern errors should now be recovered as wildcard instead of unimplemented expr #​21438

Positions

• Fix trailing comma Ident's span #​20445

Presentation Compiler

• Implement completions for named tuple fields #​21202
• Don't add suffix if brackets already present #​21259
• Change mock symbol search #​21296
• Fix: completions when parenthesis already provided #​21299
• Weekly metals backport #​21343
• Backport from metals #​21196
• Help implement Metals' infer expected type feature #​21390

Reporting

• Fix: don't use color codes for pattern match code action #​21120

Runner

• Wrap the arguments passed to the scalac task between " #​21322

SemanticDB

• Fix: semanticdb symbol creation when targetName set #​20950

TASTy format

• Add child to parent in completion context #​21214

Transform

• Fix #​20856: Serialize Waiting and Evaluating as if null. #​21243

Typeclass Derivation

• Revert "Compensate loss of transitivity" #​21356

Typer

• Avoid forcing ctors & parents which caused cycles #​17086
• Fix isomorphism tests of AndOrTypes under non-empty BinderPairs #​21017
• Fail when a poly function value has a different number of type params than the expected poly function #​21248
• Fail early & more clearly on shaded-broken classfiles #​21262
• A tweak to type improvement #​21312
• Fix #​20897: Make Nothing ⋔ Nothing, as per spec. #​21241

Experimental Changes

Modularity

• Fix: Only implement a deferred given in a class if its parent won't implement it #​21206

Named Tuples

• Re-use isConcrete checking in match types for NamedTuple.From #​20947
• Fix: Dealias NamedTuple's name types when resolving NamedTuple's element types #​21331

Safe Global Initialization

• Fix exception on sequence matching with drop #​21281
• Fix uninitializing fields when evaluating a cached constructor call in global initialization checker #​21403

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.5.1..3.5.2 these are:

    22  Dale Wijnand
    12  Eugene Flesselle
    11  Katarzyna Marek
    11  Wojciech Mazur
     6  dependabot[bot]
     4  Hamza REMMAL
     4  Kacper Korban
     4  Martin Odersky
     4  Som Snytt
     4  Yichen Xu
     4  kasiaMarek
     3  Jamie Thompson
     2  EnzeXing
     2  Hamza Remmal
     2  Sébastien Doeraene
     1  Jan Chyb
     1  Jędrzej Rochala
     1  Kavin Satheeskumar
     1  Martin Duhem
     1  Matt Bovel
     1  Raphael Jolly
     1  noti0na1
     1  philippus

v3.5.1

Compare Source

Highlights of the release

• Add sources of synthetic classes to sources jar #​20904

Other changes and fixes

Annotations

• Preventing compilation of a @tailrec method when it does not rewrite, but an inner method does #​20143
• #​20145 - bugfix when a return tailrec is called inside a val def. #​20652

Backend

• Fix EnclosingMethod for lifted anonfun #​20558
• Emit switch bytecode when matching unions of a switchable type #​20411
• Fix deterministically adding additional interfaces #​20593
• Emit generatedNonLocalClass in backend when callback is not enabled #​21186

Documentation

• Avoid jpath in example #​20775
• Chore: Fix doc link in clauseInterleaving docstring #​20590
• Chore: fix doc link in namedTuples docstring #​20770

Erasure

• Don't re-balance AndTypes arising from supertypes #​20400

GADTs

• Harden GADT constraint handling to survive illegal F-bounds #​20325

Inferencing

• Adapt toInstantiate in interpolateTypeVars to consider #​20399 #​20426

Infrastructure

• Update addToBackportingProject.scala #​20461
• Simple scripts to run non-bootstrapped compiler after 'sbt buildQuick' #​19894
• Bump from 3.4.0 to 3.5.0-RC1 for MiMA #​20404
• Set reference version to 3.5.0-RC4 #​21175
• Bring back windows performance improvements #​20423
• Bump scalacenter/sbt-dependency-submission from 2 to 3 #​20440
• Fix incorrect paths to sha256 check sum files in release workflow #​20709
• Bump VirtusLab/scala-cli-setup from 1.3.2 to 1.4.0 #​20906

Inline

• Mark genSJSIR as disabled (rather than non-runnable) when no -scalajs. #​20815
• Map over refs of ImportTypes in TypeMap #​20837

Initialization

• More principled filtering of abstract values in initialization check #​20548

Match Types

• TryCompiletimeConstantFold in disjointnessBoundary #​20168

Pattern Matching

• Fix #​20372: Check pattern match exhaustivity in inlined code #​20403

Presentation Compiler

• Add pattern completion for unapply contexts #​20274
• Bugfix: Exclude newer LSP4j, which is built on JDK 11 #​20771
• Chore: Bump mtags to latest stable #​20442
• Weekly metals backport #​20542
• Port pc find references from metals #​20544

Quotes

• Add regression test for issue 20309 #​20387

REPL

• Only consider methods with 0 parameters in valueOf #​20543

Reflection

• Fix erasure crash for Inlined rhs of a context function closure #​20398
• Fix #​20458: do not expose ClassInfo in quotes reflect widenTermRefByName #​20468

Reporting

• Fix error message on setter with wrong type #​20444
• Add a specific error message for local final defs #​20557
• Explain unresolvable references better #​20477
• Add error code to diagnostics about unused code #​19780
• Better error diagnostics for illegal match cases #​20905

Runner

• Bump scala-cli to 1.4.1 + drop old cli management #​21234
• Bump scala-cli to 1.4.3 #​21338

Scaladoc

• Fix handling of right associative extension methods across scaladoc and printers #​20467

Specification

• Add binary lits to syntax summaries #​19551

Settings

• Enhance help message for language flag #​20247
• Accept legacy language features #​20454
• Set default source version to 3.5 #​20435

Tooling

• Improve source positions emited for synthetic unit in if-conditions #​20431
• Adjust the API name entry for nested classes #​20279
• Fix declaring product of straight-to-jar compilation #​20592

Transform

• Correct Java signature for value classes appearing in type arguments #​20463

Typer

• Retry constraint.replace after constraint.updateEntry #​20399
• Add special handling for comparisons with Singleton types #​20474
• Reinstantiate restriction to transparent inline methods #​20371
• Add regression test for #​20288 fixed in #​20527 #​20857
• Fix isEffectivelySingleton #​20486
• Fall back to direct subtype comparison at the end in dropIfSuper and dropIfSub #​20523
• Mark AppliedType cachedSuper valid Nowhere when using provisional args #​20527
• Fix healAmbiguous to compareAlternatives with disambiguate = true #​21372

Experimentqal Changes

Capture Checking

• Fix soundness hole of forgotten reach capabilities #​20524
• Drop @capability annotations #​20396
• Fix symbol reference retrivial for scala.caps.Caps #​20493
• Refactor adaptBoxed #​20525
• Fix error related to reaches when using scala2-library-cc-tasty #​20528

Named tuples

• Make NamedTuple.Empty an alias to NamedTuple #​20502
• Move NamedTuple methods to separate scope. re-export #​20504
• WidenDealias before extracting namedTupleElementTypes #​20505
• Improve type inference for literal named tuples #​20497
• Fix issue #​20267 with regression test #​20506
• Only set AppliedType#validSuper after AppliedType#cachedSuper #​20553
• Fix NamedTuple selection on an unstable prefix #​20455
• Allow apply adaptation on Selectable with Fields #​20489

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.5.0..3.5.1 these are:

    82  Martin Odersky
    29  Wojciech Mazur
    22  Hamza REMMAL
    16  Jamie Thompson
    15  Eugene Flesselle
    14  Hamza Remmal
    13  noti0na1
     9  Katarzyna Marek
     7  Fengyun Liu
     7  Jan Chyb
     6  Dale Wijnand
     6  Guillaume Martres
     5  Som Snytt
     4  dependabot[bot]
     3  Adrien Piquerez
     3  Derek Wickern
     3  Matt Bovel
     3  OlegYch
     2  Florian3k
     2  Kacper Korban
     2  Lucy Martin
     2  Paweł Marks
     2  Tomasz Godzik
     1  Arnout Engelen
     1  Eugene Yokota
     1  João Ferreira
     1  Kasper Kondzielski
     1  Lucas Nouguier
     1  Lukas Rytz
     1  Mikołaj Fornal
     1  Nafer Sanabria
     1  Natsu Kagami
     1  Seth Tisue
     1  Sébastien Doeraene

v3.5.0

Compare Source

Highlights of the release

• Bundle scala-cli in scala command #​20351
• Introduce Best Effort compilation options #​17582
• Add support for Pipelined builds #​18880
• Add support for var in refinements #​19982
• Implement SIP-42 - Support for binary integer literals #​19405

[!NOTE]
Installation of a new Scala runner using Coursier requires it to be updated or reinstalled to Coursier 2.1.10 or above. Earlier versions did not support installing native packages, defaulted to the old runner JAR.

Other changes and fixes

Backend

• Fix Closure span assignment in makeClosure #​15841

Default parameters

• Fix default args lookup for given classes #​20256
• Fix implicit search failure reporting #​20261

Derivation

• Fix infinite loop in Mirror synthesis of unreducible match type #​20133

Desugaring

• Add explanation to checkCaseClassInheritanceInvariant error msg #​20141

Exports

• Add annotations in parameters for exports #​20140
• Fix isAliasType #​20195

Implicits

• Fix implicitNotFound message for type aliases #​19343
• Normalize types before collecting parts determining implicit scope #​20077
• Better error diagnostics under -explain-cyclic #​20251
• Update unreducible match types error reporting #​19954
• Improve ConstraintHandling of SkolemTypes #​20175

Incremental Compilation

• Retain default parameters with export #​20167

Inline

• Fix by-name parameter in beta-reduction #​20096
• Add warning for anonymous inline classes (#​16723) #​20291
• Avoid conversion of Unit type into () term #​20295
• Type desugared transparent inline def unapply call in the correct mode #​20108
• Regression: fix compilation performance on Windows #​20193
• Fix inline match on blocks with multiple statements #​20125
• Inline unapplys in the inlining phase #​19382
• Fix outerSelect in Inliner #​20313

Linting

• Fix #​20146: attach the original name if there is an import selection for an indent #​20163
• Add regression test for issue 18632 #​20308

Match Types

• Make aliases of MatchAliases normal TypeAliases #​19871
• Fix #​19746: Do not follow param term refs in isConcrete. #​20015
• Do match type reduction atPhaseNoLater than ElimOpaque #​20017
• Do not flag match types as Deferred and amend #​20077 #​20147
• Always use baseType when constraining patternTp with scrutineeTp #​20032
• Use MirrorSource.reduce result for companionPath #​20207
• Regression: Fix match type extraction of a MatchAlias #​20111
• Revert "Approximate MatchTypes with lub of case bodies, if non-recursive" in 3.5.0 #​21266

Polyfunctions

• Discard poly-functions when trying to resolve overloading #​20181

Presentation Compiler

• Stabilise returned completions by improving deduplication + extra completions for constructors #​19976
• Fix active param index for empty param lists #​20142
• Delias type members in hover #​20173
• Interactive: handle context bounds in extension construct workaround #​20201
• Fix: prefer non-export definition locations #​20252
• Don't show enum completions in new keyword context #​20304
• Chore: Backport changes for presentation compiler #​20345
• Add custom matchers for completions (fuzzy search for presentation compiler) #​19850

Quotes

• Fix TermRef prefixes not having their type healed #​20102
• Improve reporting in staging about the possible use of an incorrect class loader #​20137
• Introduce MethodTypeKind to quotes reflection API #​20249
• Add quote ASTs to TASTy #​20165

Reflection

• Allow to beta reduce curried function applications in quotes reflect #​18121
• Set the inlining phase in the Context used for checking macro trees #​20087
• Add Symbol.isSuperAccessor to reflection API #​13388
• Stabilize reflect SymbolMethods.isSuperAccessor #​20198

Repl

• Fix validity period of derived SingleDenotations #​19983
• Fix #​18383: Never consider top-level imports as unused in the repl. #​20310

Reporting

• Warn if extension receiver already has member #​17543
• Deprecation of case class elements #​17911
• Support src filter in -WConf (Closes #​17635) #​18783
• Add note about type mismatch in automatically inserted apply argument #​20023
• Make error reporting resilient to exception thrown while reporting #​20158
• Remove duplicate comma from Matchable selector warning #​20159
• Generalize warnings for top-level calls to Any or AnyRef methods #​20312
• Make CheckUnused not slow. #​20321
• Bring back ambiguity filter when we report an implicit not found error #​20368
• Treat 3.5-migration the same as 3.5 for a warning about implicit priority change #​20436
• Priority warning fix alternative #​20487
• Use final result type to check selector bound #​20989
• Refine implicit priority change warnings #​21045
• Backport "Fix healAmbiguous to compareAlternatives with disambiguate = true" to 3.5.0 #​21344

Rewrites

• Patch indentation when removing braces (and other bug fixes in -indent -rewrite) #​17522
• Extra check to avoid converting block expressions on the rhs of an in… #​20043

Scaladoc

• Fix scaladoc crash on Windows - illegal path character #​20311
• Scaladoc: improve refined function types rendering #​20333
• Relax font-weight reset #​20348

Scala JS

• Optimize main.js #​20093

Settings

• Lift Scala Settings from experimental to stabilized #​20199

Tooling

• Detect macro dependencies that are missing from the classloader #​20139
• Write pipelined tasty in parallel. #​20153
• ConsoleReporter sends INFO to stdout #​20328
• Bundle scala-cli in scala command #​20351
• Adapt the workflow to release on SDKMAN! #​20535
• Adapt the release workflow to SIP-46 #​20565
• Release .zip instead of .tar.gz for windows in sdkman #​20630
• SIP 46 - read classpath from file, remove lib directory in distribution #​20631
  .gz for windows in sdkman #​20630
• Bump scala-cli to 1.4.0 #​20859
• Add --skip-cli-updates by default to the scala command #​20900
• Use pathing jars in cli commands #​21121
• expand classpath of pathing jars in scala_legacy command #​21160
• emit generatedNonLocalClass in backend when callback is not enabled #​21186

Transform

• Fix overloaded default methods test in RefChecks #​20218
• Fix handling of AppliedType aliases in outerPrefix #​20190
• Elide unit binding when beta-reducing #​20085

Typer

• Reduce projections of type aliases with class type prefixes #​19931
• Re-lub also hard union types in simplify #​20027
• Fix #​19789: Merge same TypeParamRef in orDominator #​20090
• Allow SAM types to contain match alias refinements #​20092
• Don't dealias when deciding which arguments to defer #​20116
• Avoid the TypeVar.inst trap #​20160
• Avoid crash when superType does not exist after erasure #​20188
• Refine overloading and implicit disambiguation #​20084
• Refactor constant folding of applications #​20099
• Rollback constraints if isSameType failed second direction #​20109
• Suppress "extension method will never be selected" for overrides #​20164
• Allow SAM types to contain multiple refinements #​20172
• Normalize when verifying if TypeTestCasts are unchecked [#​2025